fpf{-}join{-}list(${\it eq}$;$L$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$reduce($\lambda$$f$,$g$. fpf{-}join(${\it eq}$;$f$;$g$);$\otimes$;$L$)